fosters theorems