Deberás usar los axiomas de los números reales para probar que cualquier número multiplicado por cero es cero, y después ingeniártelas para demostrar que menos por menos da más.
Por otro lado, ¿existe alguna relación lógica que te permita justificar por qué negativo por negativo es positivo?