theorem :: XPRIMES2:5054

canceled;