theorem :: XPRIMES2:2695

canceled;