theorem :: XPRIMES2:5857

canceled;