理解力に劣る人がいるようなので、さらに説明を行うと
式⑥が恒等的に成り立つと仮定すると
g=0 -a-g+h=0 c-h=0
となり、a=cとなるから矛盾となる。よって式⑥は
任意のpで成立してはならないということになる。
そうなのにも関わらず、以下略。