theorem :: XPRIMES2:2240

canceled;