Prove the dimension theorem for fdvses: any two bases hav the same number of elements