theorem :: XPRIMES2:6454

canceled;