>>608
>等号成立はp=qのときということもわかる。
微妙に嘘