Se puede usar el productorio para definir otras igualdades importantes.