>>991
恒真な論理式が証明可能なだけだろー。