统计假设检验是一种带有( )保证的反证法。