theorem :: XPRIMES2:1431

canceled;