Li-Fan Chen
says to
YSITD
為什麼 p=0 q=0 可以推出 p->q