HG 23
T32. The perpendicular bisector of the base of a SQ is also the perpendicular
bisector of its summit.
D19. A quadrilateral with a base is a quadrilateral whose base is enclosed by
two right angles.
T33. In a quadrilateral with a base, if the summit angles are unequal, the
greater leg lies opposite the greater angle.