rank(A-B)=rankA-rankBは結局成りたたねーんだな?

つーか判例挙げるだけで証明終わり?