theorem :: XPRIMES2:6559

canceled;