theorem :: XPRIMES2:3936

canceled;