theorem :: XPRIMES2:1471

canceled;