Hopefully unnecessarily-complex proof of 1.6