@joshuaedoja: above is a proof