theorem :: XPRIMES2:1696

canceled;