theorem :: XPRIMES2:1381

canceled;