Nearly caught up. A pity I didn't see the Podcast sooner!
Don't forget my latest boost I just did for ep7.
∀n ∈ ℕ, prove (21n + 4) / (14n + 3) is irreducible.
Proof:
gcd(21n + 4, 14n + 3)
= gcd(2(21n + 4), 3(14n + 3))
= gcd(42n + 8, 42n + 9)
= gcd(42n + 8, 1)
= 1
∴ (21n + 4) / (14n + 3) is irreducible. QED
https://fountain.fm/episode/LALuLbW4zHMBeC5VtL0d
View quoted note →
View quoted note →