-1 does not mean negative 1, it means the additive inverse of 1. This is because negatives are not defined under our operations.
You can’t assume certain trivial statements such as 0*0=0, due to them not being explicitly shown in the axioms. Prove them first before proving the statement if you use them.
-1 * -1 = 1
Multiplying a negative number by another negative number equals a positive number.
Don’t make it look like negative numbers if it’s not negative numbers, and it adds up to exactly the same number as a negative number would.
Imagine -1*1 is -1, because the 1 is being multiplied by a negative, and by 1, which will reverse it into negative, and multiply the separated number by 1, which is still 1, therefore it is negative 1, because the positive 1 was revered, and otherwise the same.
Now imagine -1*-1, It’s the same situation, but you reverse it twice.