>>258
背理法に仮定を付け加えるな定期