theorem :: XPRIMES2:6258

canceled;