この「テスト」は、微分作用素 λ を書き直した双線型函数 "b" : "u" × "v" → rに対して達成されればよい。