in the level

pairs of mutually normal rects exist, and every rect through

and

is a member of one such pair.

49.2 Let