双線型氾函数の普遍性