euclid's theorem

URI: https://gptkb.org/prop/euclid%27s_theorem
1 triples
GPTKB property
Random triples
Subject Object
gptkb:perfect_numbers if 2^p -1 is prime, then 2^(p-1)(2^p -1) is perfect.