query: Prove I know a value v in a set s.t. K = H(v)
positive_passages.docid: 28100
positive_passages.text: Prove I know a value $v$ in a Pedersen Commitment without revealing it
negative_passages.docid: 106799
negative_passages.text: Proof Verification: Converse of Intermediate Value Theorem
negative_passages.docid: 95266
negative_passages.text: Show $|t|\leq \pi \Rightarrow |e^{it}-1|\geq 2|t|/ \pi$
negative_passages.docid: 20317
negative_passages.text: Proving $\sum_{k=1}^{n}{(-1)^{k+1} {{n}\choose{k}}\frac{1}{k}=H_n}$
negative_passages.docid: 89089
negative_passages.text: Prove that there is a unique inner product on $V$
negative_passages.docid: 132595
negative_passages.text: $\sup_{0 \leq M \leq I_{\mathcal{H}_1}} \frac{\operatorname{Tr}[\rho M]}{\operatorname{Tr}[\sigma M]}$ satisfies Data Processing Inequality
negative_passages.docid: 10540
negative_passages.text: Prove $\vdash \neg(\square F\land p)$ in $KD$
negative_passages.docid: 35800
negative_passages.text: If $K \leq H \leq G$, show that $[G:K] = [G:H][H:K]$.
negative_passages.docid: 149739
negative_passages.text: Prove: $f(t)\leq t+1$
negative_passages.docid: 35236
negative_passages.text: Proof $p \vdash q \Rightarrow p$
negative_passages.docid: 134120
negative_passages.text: Prove statement with a counter-example: For all sets S, T and V, V ∪ (S ∩ T) = (V ∪ S) ∩ T is false
negative_passages.docid: 73174
negative_passages.text: Prove $KN\cong K\times N$ if $K\cap N=\{e\}$
negative_passages.docid: 23095
negative_passages.text: Prove that T is a linear transformation
negative_passages.docid: 66531
negative_passages.text: $\|h(x)-h(y)\|\geq 3\|x-y\|$ prove that image of open is open
negative_passages.docid: 49296
negative_passages.text: Prove $|(1+|u|^2)v-(1+|v|^2)u|>|u\bar{v}-\bar{u}v|$
negative_passages.docid: 109228
negative_passages.text: Prove that $v, Tv, T^2v, ... , T^{m-1}v$ is linearly independent
negative_passages.docid: 141529
negative_passages.text: Proving existence of a minimum