Li-Fan Chen says to YSITD
那些操作是線性獨立的