Plan

Remarks from 1.4

1.5 Linear independence

1.6 Basis