theorem :: XPRIMES2:40

canceled;