theorem :: XPRIMES2:573

canceled;