prime power conjecture