Biological theorems