王 彥
says to
YSITD
證明出0=1，然後延伸證明出0=所有有理數 XD