On the Modern Structure of the Gauss-Landau Theorem

We formalize the Gauss-Landau theorem, providing a unified prime factorization approach to computing the GCD and LCM of finite nonzero integer sets. Although commonly used as a heuristic or technique in elementary number theory education, these theorems have not been explicitly formalized or named in the literature. This formalization aims to enhance understanding and facilitate adoption in mathematical instruction and research.