proof example