theorem :: XPRIMES2:7389

canceled;