L : V→V linear, V : finite dimensional
then
rankL^(n+1) - rankL^(n+2)<=rankL^n - rankL^(n+1)
for any n>=0 (L^0=I로 생각)

n=0일때는 성립하는거 증명했음
일반적으로 임의의 n에서도 성립하는거 같은데 증명이 안 됨 quotient map도 생각해봤는데 well definedness가 걸리고 흠

아 그리고 이게 모든 n에 대해 참인 statement인지는 나도 모르는데
n=0, 1에서는 참임