theorem :: XPRIMES2:25

canceled;