@builderofcastles: Well, a proof