[math-fun] Non-existence from parity (was Re: Existence from parity)