Allen Chou says to YSITD
或 By Property 5 of Thereom 3
at Mon, Feb 18, 2019 11:27 PM