State/Every primitive lax vector belongs to a lax basis

 =Proof=