Prove that an Abelian group with two elements of order 2 must have a subgroup of order 4.

My proof:

Suppose that G is an Abelian group, and let such that , so we have .

From a theroem, we know that <a> and <b> are subgroups of G.

Am I starting this right?