No es posible.
Para que la prueba sea completa, es necesario probar que la operación producto está bien definida. Si solamente probaste que se cumple la propiedad asociativa, existencia de neutro, y existencia de inverso, vas a tener una parte del total de puntos.