You should read the first link carefully. It talks of a simple Abelian Group. Simple means no subgroup other than the trivial one and the group itself.
The second theorem does not state that the abelian group is simple.
So the first theorem should be:
A group is a Simple Abelian Group if and only if order of group is prime number.