theorem :: XPRIMES2:2266

canceled;