https://profilbaru.com/en/Four_functions_theorem