This theorem states that for two positive integers, the product of their [greatest common divisor](/page/Greatest%20Common%20Divisor) and least common multiple equals the product of the integers. It connects the shared and combined divisibility data of the same pair.