α変換と言い切った瞬間に∀x∈ℕ.∃y.x<yにきまる
それ以外はα変換でない