>>362
(1)は「y=2,x=t,m=1」とおく前。(2)はおいたあと。(2)が成り立たなくても(1)は成り立つ可能性がある。