State/Every lax vector in a lax basis is primitive

 =Proof=