Hey Leviathantheesper.

I don't know how formal this has to be, but one idea that comes to mind is to use the same sort of proof used in a vector space where 0*v = 0 vector.

Alternatively you can assume that a != 0 and b != 0 and use proof by contradiction.