背理法

https://kakeru.app/f0e64e2505f5e881caaec318221eb68d https://i.kakeru.app/f0e64e2505f5e881caaec318221eb68d.svg