Apologies for the lack of a better way to state the problem I'm having right now.

I'm trying to prove 2 theorems given by my professor:

1. ∀a∈ ℝ (Real numbers),

2. If a, b ∈ (real numbers) and a =/= 0 and b =/= 0, then a*b =/=. If a, b ∈ (real numbers) and a*b = 0 and a=/= 0, then b = 0

For the first one, I understand that I need to use the axiom which states: 1*a = a, but I don't know how to continue.

The second one, honestly, confuses me and I don't know where to start.