indirect proof example