数学推理

理之如水也，易为下。水下流则失势，上流则理不容。充分者，势高也；必要者，势下也；充分必要者，势等也。