Name:guestExercise 3_1_13

Prove x*(y+z)=x*y+x*z with these axioms.

Examples

Reasoning:

Algebra Section 3_1, List of instructions, Typing fractions and other symbols