theorem :: XPRIMES2:2285

canceled;