theorem :: XPRIMES2:38

canceled;