La proposición 7 tiene cuatro casos: o bien ZH no se corta con ΑG, o bien se corta de tres maneras, por encima del punto G, por debajo del punto G, o en el punto G.