theorem :: XPRIMES2:31

canceled;