Prove A Function Is Harmonics