>>382　落ち着いてよく読むべし。x≠yのほうは
続きが自分でやれるように途中で止めてあるし、
第2式に代入、とはっきり書いてある。