Search
Theorem 1(Theorem). A5 is simple.
Theorem 1(Theorem).
A5 is simple.
Proof
Theorem 2(Theorem). An is simple for n≥5.
Theorem 2(Theorem).
An is simple for n≥5.