さてここから先は、どう仮定してもなかなか矛盾が生じなくて迷うことでしょう。 根気が必要です。ここでは、上図のように仮定して粘り強く解いていけば矛盾が導けます。