Jeder Beweis scheinbar höherer Type ist in Wirklichkeit ein Beweis im Problem der ersten Stufe.