难题①:无法得出想要的数值或证明