theorem :: XPRIMES1:2695

canceled;