Proof by exhaustion (#2)

Examples

1 total