theorem :: XPRIMES2:52

canceled;