This is empirically true only so far
This is only empirically determined to be true for all base 2 Euler pseudo primes uptil 2^641 but the proof given is not correct as it includes circular reasoning. My stupid error in posting it up. But the algorithm described there seems to be empirically correct. If any one else could find a reasonable proof it would be good.
Sorry,
Allan
