Proof for Constant Output of 1