theorem :: XPRIMES2:6378

canceled;