theorem :: XPRIMES2:6295

canceled;