>>938
>ここでx≠yと仮定すると
>どんなNでも常に�@は成り立つので
 
↑これはあかんやろ?