Mathematical Deduction

[removed]