theorem :: XPRIMES1:1696

canceled;