#indirect proof