theorem :: XPRIMES2:6484

canceled;