Indirect proof

Summary