クソゲーに限らず定義が無いと証明できない