theorem :: XPRIMES2:5170

canceled;