We Made Geometry Proofs For Quadrilaterals