theorem :: XPRIMES2:2656

canceled;