>>283
背理法使えば出来る定期