XpXpXp lcm ( a , b ) = ( a b ) gcd ( a , b ) XpXpXp