Let x and y be positive integers. We want to determine if x is divisible by y.
Statement (1): The greatest common divisor (GCD) of x and y is equal to y.
Statement (2): The least common multiple (LCM) of x and y is equal to x.