Translate "Example: Proving Distributivity of Multiplication"