theorem :: XPRIMES2:1406

canceled;