theorem :: XPRIMES2:6371

canceled;