質問です

2^x ≠ 12y (x,yともに自然数)

この式の証明は可能でしょうか