theorem :: XPRIMES2:37

canceled;