theorem :: XPRIMES2:494

canceled;