theorem :: XPRIMES2:1698

canceled;