Proof by deduction (#1)

Examples

1 total