Definitely going to share it at MathsJam tonight to see if everyone agrees with my proof, or if they can cite a relevant theorem