theorem :: XPRIMES2:3974

canceled;