まずは、KeyとValueの内積を定義してから、直交性を議論しようぜ