theorem :: XPRIMES2:13

canceled;