نظرية زيلر غير صالحة بالنسبة $PUMP - المزيد من الرموز أفضل للرمز الأم. يجب تعريف Altszn كزمن يكون فيه النظرية غير صالحة أيضا للبديلة التيكية