Este teorema fue probado de forma independiente por el noruego Trygve Nagell en 1935 y la francesa Élisabeth Lutz en 1937.