input: def to_lower(string):
      """
      Converts all characters of a given string to lowercase.
  
      >>> to_lower("HELLO")
      "hello"
      >>> to_lower("Python")
      "python"
      """
      return string.lower()
output:     return string.lower()