No.627

がすべての で成り立つかを調べる. ただし, である.