[FOM] Monsieur, x^p = x (mod p), donc Dieu existe. Repondez !

[Andrej Bauer]

> This tells us something about the number 2^2^10,
> but it does rob 2^2^10 of its existence.

I apologize for the type, this should have read:

This tells us something about the number 2^2^10, but it does NOT rob
2^2^10 of its existence.

With kind regards,

Andrej