jeśli istniałaby oficjalna lista poziomów dla dowodów matematycznych, to dowód przez sprzeczność z pewnością byłby na poziomie S, prawda?