theorem :: XPRIMES2:1391

canceled;