I.D103 — Polarity Pairing

Pairing function Pair: P_tau^+ x P_tau^- -> Z measuring rank distance between B-dominant and C-dominant primes. Consecutive polarity pairs exist infinitely often.