RE: Fagnano's formula for ð