first note that is well-defined because is a basis for now let and so for some but for some

thus therefore so we proved that we only now need to prove : let then

and hence for some thus and so hence the other direction of

the inclusion is trivial. this completes the proof of