theorem :: XPRIMES2:27

canceled;