>>884
高木くんの中での十分条件って、数学の世界では必要条件だろ