Proof for cool equation