Euclid lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
If a prime divides a product of integers, it divides at least one factor.

New to topics? Read the docs here!