>>554
∨を分解、p,qを左へ、で公理に帰着。
悩むべきところの無い一本道な証明だよ。