以下哪一条不是暗室处理的五个程序之一（）

A.切片、装片

B.显影

C.定影

D.水洗、干燥

设矩阵Am×n，Bn×m，且r（A）=s，r（B）=n-s，AB=0，试证：A的s个线性无关行向量即为齐次线性方程组B^TX=0的一个基础解系。