theorem :: XPRIMES2:410

canceled;