theorem :: XPRIMES2:6279

canceled;