Non-Abelian Order 8 Group with One Order 2 Element is Quaternion Group/Proof 2

Proof
By Groups of Order 8, the only group satisfying all three properties is $Q = \Dic 2$.