Context
Reducing modulo each odd factor gives 2^K congruent to 3^g. The supplementary laws for the Jacobi symbols of 2 and 3 then couple the two exponent parities to each factor's residue modulo 24.
Proof or evidence
The equation modulo 24 supplies one parity pair for every candidate residue pair; the two Jacobi identities eliminate six of the twelve pairs.
Verification notes
Independent Python and C++ implementations reconstruct the complete table and the exact residue cycle for odd parts of 1+3^b.
Limitations
- The six rows are necessary conditions, not a classification of their integer solutions.
- The theorem applies to the normalized a=0<g orientation, not arbitrary integer-complexity formulas.
- No external review or novelty determination is recorded.