¿Es 10001 número primo?