theorem :: XPRIMES2:1692

canceled;