1-4-7のゲッツーて理論的に可能なのか