Going through Christof Paar's book on cryptography. In his chapter on DHKE, he has the following
The theorem itself talks only about Finite Groups ("Let G be a finite group")
But when he talks about the second property - he says - "The second property is very useful in practice. It says that in a cyclic group only element orders which divide the group cardinality exist."
How is saying that it's only for cyclic groups? Shouldn't it be "It says that in a finite group only element orders which divide the group cardinality exist."