Lyman's law