(1) == 항상 true (진리)