Esa definición fue simplificada por Rózsa Péter y Raphael Robinson a la versión de dos variables.