Therefore, ½ x + ½ y is in K' .
したがって、½ x + ½ y は K' に含まれる。