theorem :: XPRIMES2:656

canceled;