P
Initializing...
A factorial is not congruent to minus two modulo 2003 · Prove2Me