#UVa：11388－GCD LCM

基本上符合的答案就會是$a = G, b = L$，原因如下：

先證明什麼時候會有解，由於$G | a, b$且$a, b | L$，故至少$G | a, b | L$，亦指在有解的情況下至少G要能整除L。

那在有解的情況下a如果要最小該會是多少呢？由於$G | a$，故a為G的某個倍數，而其中最小的就為G。那在$a = G$的情況下一定會有解嗎？由於$G \times L = a \times b$，而$a = G$，所以$G \times L = G \times b$，整理一下可得$b = L$，所以在有解的情況下最符合的答案即是$(a, b) = (G, L)$。

C++(0.000)

/*******************************************************/
/* UVa 11388 GCD LCM                                   */
/* Author: Maplewing [at] knightzone.studio            */
/* Version: 2016/04/28                                 */
/*******************************************************/
#include <iostream>
#include <cstdio>
using namespace std;

int main(){
  int caseCount;
  while( scanf("%d", &caseCount) != EOF ){
    for( int caseNumber = 0 ; caseNumber < caseCount ; ++caseNumber ){
      int G, L;
      scanf("%d%d", &G, &L);

      if( L % G == 0 ){
        printf("%d %d\n", G, L);
      }
      else{
        printf("-1\n");
      }
    }
  }
  return 0;
}