[math-fun] Existence from parity