theorem :: XPRIMES2:30

canceled;