RT，求第二问做法正确性的严谨证明。