Size of Spanning Set of Free Module is at Least Size of Basis