Law of definite composition