theorem :: XPRIMES2:7170

canceled;