Prove A Function Is Harmonic Balancer