Li-Fan Chen
says to
YSITD
A |- B 代表從 A 定理可以推導出 B 定理