simplified a proof, found by DanGrayson