theorem :: XPRIMES2:9

canceled;