El resultado principal del análisis de Popek y Goldberg puede entonces ser expresado de la siguiente forma.