a,b,c,d：自然数
ab=cd

のとき，aはcまたはdの約数

は成り立ちますよね？
aがcdの約数でcの約数でもdの約数でもない自然数
となる事ってないですよね？