少なくとも普通ってサイズの子がいないって証明にはなった