The 7 star definition uses a cross-reference: 7 refers to the answer at 7 down (NORTH), so the 'North star' is POLARIS; the submarine definition points to Polaris, the famous submarine-launched ballistic missile. Both halves independently define POLARIS, making this a double definition.