theorem :: XPRIMES2:39

canceled;