theorem :: XPRIMES2:2272

canceled;