See:
Probably other meanings in computer science, sports, etc.
... Generalizations The formula and its proof remain correct if the ...