theorem :: XPRIMES2:1695

canceled;