Proof by contradiction (#4)

Examples

2 total