theorem :: XPRIMES2:1478

canceled;