theorem :: XPRIMES2:6550

canceled;