(四) 证明难题