>>922
2通り以上の表現の仕方があれば
  sa↑+tb↑ = 0↑ ⇔ s=t=0
に反することを示す