Comment by pfdietz

Some of the claimed proofs (#129, #130) seem to have been removed at the Erdős Problems site. Were they defective?