twenty_four_prime_factorization
plain-language theorem explainer
24 factors as 2 cubed times 3. Researchers on the Q3 unification of mock theta orders and partition congruences cite this to separate the sets {3,5,7} from {5,7,11} via the relation 24 equals 8 times 3. The proof is a one-line norm_num reduction that confirms the equality directly.
Claim. $24 = 2^3 times 3$
background
The module unifies Ramanujan mock theta orders {3,5,7} with congruence primes {5,7,11} through the single number 24, identified as directed flux of Q3. This count arises as 8 times 3, where 8 is the octave length from the fundamental time quantum tick (equal to 1 in RS-native units) and 3 is the active edge count A per tick. Upstream results define tick as the RS time quantum and A as the active edge count per fundamental tick, with the relation phi^(A - gap) * phi^gap = phi at D=3.
proof idea
One-line wrapper that applies norm_num to verify the equality.
why it matters
This factorization supports the parent unification claim that 24 equals directed flux of Q3, which forces the split between mock orders (coprime to 8 and less than 8) and congruence primes (coprime to 24 and greater than 3). It fills the arithmetic step linking to the eight-tick octave landmark T7 in the forcing chain. No open questions are touched.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.