Erdős Problem 937

Sanity check for IsCoprimePowerfulAP4: the progression $0, 1, 2, 3$ is not a valid example, since $2$ is not powerful.