Mathematical Proof of the Greenhouse Effect