Identity Component of a Real Elliptic Curve Is a Subgroup