证明较易，求解较难