Cosb mathematical proof via @MikePetersonIS