Welcome Sweet #5! Proofs