Employ Theorem DT to construct the second half of the proof of Theorem DRCM (the portion about a multiple of a column).