What is a commonly used corollary of the first law