Foundationshard
0:00.0

Prove that 0a=00 \cdot a = 0 for any real number aa. Which step uses the distributive axiom?