nekomata_saren@tg
says to
YSITD
正題，proof by contradiction