theorem :: XPRIMES2:389

canceled;