theorem :: XPRIMES2:695

canceled;