如果有一个官方的数学证明等级列表,那么反证法肯定是S级的,对吧?