>>803
rankに関する定理など
他に使えるものはある?