theorem :: XPRIMES2:3780

canceled;