De este modo, un teorema válido para un objeto concreto puede ser verificado para otro de la misma categoría, elevándose a una teoremática abstracta que a todos ellos afecta.