Being completely real: because we defined it that way.
No joke, look up any set theoretical definition of the integral ring and you will see that the way that they define the operations makes what you say a fact. Basically we invent it.
But looking at it from a "muh math feels" perspective, that is how it should be. Lets think about how we should define multiplication with negative numbers. First, a negative times a positive.
Here is a quick example: 3*(-5)
Using our natural intuition we could say that this should be defined as:
(-5) + (-5) + -(5) = -15
Now, if you agree with this definition then good. To define multiplication we will apply this last property we decided to give negative numbers and see how far we can get before getting into trouble.
(-3)*(-5) = ((-1)*3)*(-5) = (-1)*(3*(-5)) = (-1)*(-5 + -5 + -5) = (-1)*(-5) + (-1)*(-5) + (-1)*(-5)
And here we reach "trouble". We are now multiplying two negative numbers as was our original problem, but now we have a more "fundamental" multiplication.
The question that arises here is
Should (-1)*a = -a?
And here -a is obviously what we define as a number, call it x, such that a + x = 0
Here we can argue that this is the fundamental reason for why we even want negative numbers. And thus we then conclude that our answer is 15.
To put this in summary with a little more math jargon, this is the case because if you want a theory of integers such that it is consistent when associativity, distributivity, and the "fundamental property of -1" then you will reach with a theory that says that negative times negative equals positive.
Nothing stops you from creating a different theory.
For example, you could try to find operations that do align with associativity and distributivity (thus making up a ring) but that completely disregards the "fundamental property of -1".
But maybe such an operation doesn't even exist. I am not an algebra person.
The point is: we pick and choose the things we like.