proe关系式