BlueBoar on Nostr: yes, check out this link. yes, check out this link.https://math.stackexchange.com/questions/2270520/proof-the-square-root-of-the-product-of-two-distinct-primes-is-irrational