theorem :: XPRIMES1:695

canceled;