Short Deduction

Need Help?