أ- بما أن الموشور قائم، فإن القاعدة \((ABC)\) توازي القاعدة \((EFG)\). وحيث أن \((AC) \subset (ABC)\)، فإن \((AC) // (EFG)\).
ب- بما أن \((GM)\) و \((ADH)\) يقعان في مستويات متوازية (أو أوجه متقابلة)، وبما أن المساقط متوازية، فإن المستقيم يوازي المستوي.