>>403
右辺は A のランク標準形なので r = s = rank(A)