theorem :: XPRIMES2:1389

canceled;