Fixpunktsatz/x ist n/Fixpunkt/Gültigkeit in N/Aufgabe

Es sei eine fixierte natürliche Zahl und

wobei durch die -fache Summe der mit sich selbst realisiert werde. Zeige direkt, dass es Sätze mit

und mit

gibt.