25.7.1 엄격한 이론적 보증과 확률적 보증(Probabilistic Guarantees)의 차이