Die Komplexität der Normalisierung planarer λ-Terme ist mindestens so hoch wie die Komplexität des Schaltkreiswertproblems.