Tétel (Hauptsatz):Minden szekvenskalkulusban levő levezetéshez létezik olyan levezetés, amelynek ugyanaz az utolsó szekvense, és amelyben nincs felhasználva a metszetszabály.
mondanám, hogy kapja be, de akkor az acetil-koenzim A-m nem menne végbe az aerob sejtlégzés második lépésében, és nem keletkezne piruvát dekarboxiláció során, mely a mitokondriális mátrixban kellene végbemenjen és nagyon kár lenne azért a sok finom cuccér amit küldött