[!Exercise]
Let be a basis of , . is a basis of . Show that .