two varieties are birationally equivalent if and only if their function fields are isomorphic kubona akazi kawe kamberenibyiza the codex alimentarius does not list it