theorems in an order so that one may be proved from a previous one (as we see in Euclid).
The large lune ABD is similar to the smaller lune (with base on one leg of the right isosceles triangle . Proposition:The area of the large lune ABD is the area of the semi-circle less the area of the triangle .