>>54
ないと証明できる?