jika ada daftar tingkat resmi untuk bukti matematis, bukti dengan kontradiksi dengan mudah S-tier bukan?