fatous theorems