RE: Mahavira's formula for cyclic quadrilaterals