數學推理

理之如水也，易為下。

水下流則失勢，上流則理不容。

充分者，勢高也；必要者，勢下也；充分必要者，勢等也。