@lfthree here's my proof