We Made Geometry Proofs For Quadrilaterals That Are Not Parallelograms