theorem :: XPRIMES2:5052

canceled;