Formal SOS-Proofs for the Lambda-Calculus Christian