Question: Proving (-1)*(-1)=1 using maple is harder than I thought

Using Maple to prove one of the axioms in mathematics.

The idea is to prove that (-1)*(-1)= 1.  The mere fact that 0's are involved in the proof makes it harder.  So it's easy enough on paper to solve, as I will show in the steps below.

It is known 0*x=0 for all values of x,
and 1-1=0,
If we let x=-1, then 0*(-1)=0,
sub in for zero   (1-1)(-1)=0,
expand (1)*(-1) + (-1)*(-1)=0, also we agree that 1*y=y for all values of y,
so ......  (-1) + (-1)*(-1)=0,
and therefore (-1)*(-1) = 1

Does anyone have an elegant way of showing that in Maple?

Please Wait...