请问如果给出 a<b<c,a⊕b>k,b⊕c>ka<b<c,a\oplus b>k,b\oplus c>ka<b<c,a⊕b>k,b⊕c>k 。能够推出 a⊕c>ka \oplus c>ka⊕c>k 吗。 自己想了一个证明但感觉不是很完善
