. . . ">> > From this, if B is an invariant of A - then properties they share must" .