Theorem: Every spanning list contains a basis

Looking at the proof $($and examples$)$ of these theorems write a code to verify these theorems using MATLAB