Indirect proof