Translate the text above into English, please keep the original text's line breaks and format, and output the translation result directly.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.