If $v$ is a valuation and $v(x)<v(y)$ then $v(x+y)=v(y)$.
41061
Simple property of a valuation on a field
79040
Graph of $|x| + |y| = 1$
67717
$A \oplus B = A \oplus C$ imply $B = C$?
97667
If $a<b$, $c<d$ then $a+c<b+d$?
76884
Are $X$ and $X+Y$ independent, if $X$ and $Y$ are independent?
37398
Proof that$ (a+A)\cap A=\varnothing$ if $A$ is countable
146339
Proof of -(-v)=v in a vector space
16948
Need help with a proof that if $xy=0$ then $x=0$ or $y=0$
28822
$|x| - |y| \leq |x-y|?$
118727
$g(x+y)+g(x)g(y)=g(xy)+g(x)+g(y)$ for all $x,y$.
92290
For each $x,y,z∈\mathbb N$, if $x<y$ then $x+z<y+z$
31846
Does $\neg(x > y)$ imply that $y \geq x$?
72081
$\forall x,y>0, x^x+y^y \geq x^y + y^x$
61604
$V = V_1 + V_2$ confusion? Why is my "proof "incorrect?
49994
Deduction of $\forall y \exists x (x=y)$
20626
Prove that $x^y < y^x$
22821
May $y=e^x$ be satisfied with both $x$ and $y$ $\in$ $\mathbb{Z}^+$?