Lion and Lamb - Proofs