and is normal to every rect lying in

. Let

′ be any rect containing

and lying in

. Then