Comment by catlifeonmars

You don’t have to bet. A lot of proofs are like that.