theorem :: XPRIMES2:2386

canceled;