El producto interno de dos caracteres es no negativo.