Week 14: Formula law, Deduction from fundamental law