#howtobasic proof