theorem :: XPRIMES2:22

canceled;