downcase_atom(AnyAtom, LowercaseAtom) is true if LowercaseAtom is the result of turning every character in AnyAtom to lower case.