>>709
ありがとうございます!
φ ∈ {φ,2}
なら正しいことになりますよね?