theorem :: XPRIMES2:6388

canceled;