>>808
dimV=dimV'の時に、rankf=dimVと
逆行列がどうとか正則行列がどうとかいうのは?