Name:guestExercise 3_1_9

Prove (x+3)*5=x*5+3*5 with these axioms.

Examples

Reasoning:

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