Compreensão e planificação de proposições sobre quadriláteros por licenciandos em matemática