>>27
背理法を疑っているのか?