User:SyntaxPC/user Erdos-Bacon