State/Every lax basis is contained in exactly two lax superbases

 =Proof=