theorem :: XPRIMES2:2384

canceled;