Properties and Conditions for Proving Parallelograms