theorem :: XPRIMES2:2279

canceled;