若P表示已知条件或已有的定义、公理或定理,Q表示所得到的结论,下列框图表示的证明方法是