theorem :: XPRIMES2:2883

canceled;