どっちからやっても証明することは不可能なんだから無意味なのに