Proving a ⋅ 0 = 0 for any real number a

In this video we will walk through a seemingly obvious proof using properties of real numbers. This is a classic first proof to do showing how to use axioms to prove statements.