SKIP: Live page status is OPEN, but it lists 1 claimed full proof (submitted by Colin Snyder on 2026-07-15); per the mandatory collision rule, no mathematical attempt was made.