theorem :: XPRIMES2:6695

canceled;