theorem :: XPRIMES2:6320

canceled;