如果两个数互为素数，指的是两个数中没有一个数可以被另一个数整除，除了1和它本身。素数是数学中一个重要的概念，它是指一个大于1的正整数，除了1和它本身以外，没有其他的正因数。素数的性质非常重要，被广泛地应用在数学和计算机科学中。

如果两个数互为素数，那么这两个数的乘积也是素数。这个结论可以通过反证法来证明。假设两个素数a和b的乘积不是素数，那么它一定可以分解成两个数的乘积，也就是说，存在两个正整数c和d，使得a*b = c*d。因为a和b是素数，所以c和d不能都是a或者b，否则就会有一个数可以整除另一个数，这与前提相悖。因此，c和d必须是另外两个正整数，那么它们的乘积cd就一定是a*b的另一个因数。这与a*b是素数相矛盾，因此假设不成立，结论得证。

如果我们知道两个数互为素数，我们可以利用这个结论来解决一些实际问题。例如，我们可以用这个结论来判断一个数是否是素数。如果一个数n不是素数，那么它一定可以分解成两个数的乘积，而这两个数中至少有一个不超过n的平方根。因此，我们只需要在2到n的平方根之间枚举所有的数，如果能够找到一个数能够整除n，那么n就不是素数。反之，如果找不到这样的数，那么n就是素数。

总之，如果两个数互为素数，它们的乘积也是素数。这个结论在数学和计算机科学中有着重要的应用，它可以帮助我们解决一些实际问题。同时，素数的研究也是数学中一个重要的研究方向，它涉及到众多的数学领域，包括数论、代数、几何等。