\measuredangle{ABE} + 90^{\circ} + \measuredangle{ABC} = 360^{\circ}