Kaidah darab

Jika "X", "Y", dan "Z" adalah ruang Banach (yang meliputi ruang Euclide) dan "B" : "X" × "Y" → "Z" adalah operator bilinear kontinu. Maka "B" terdiferensialkan dan turunannya pada titik ("x","y") di "X" × "Y" adalah peta linear "D""B" : "X" × "Y" → "Z"