In: Advanced Math
Using the successor function prove distribution over addition. Do this in a detailed proof.
Property :
which is called disrtibutive rule for multiplication over
addition.
Proof : We will prove this property by using
the principle of mathematical induction. Let X be a set of all
 such that

Then 
 Assume that 
 We must show that 
As before we use a chain of equalities.
by the definition. Since 
 Thus 
 If we now apply the associative law for addition we have 
 Inside the first set of braces we apply the commutative rule for
addition and have 
by the associative law of addition applied inside the parentheses.
We now apply the commutative law of addition within the
paranthesesand the associative law of addition to find 
By definition the last expression is 
 Thus 
 and the distributive law is proved.