[Toolbox->Εργαλεία Παραμετροποίησης->Παραμετροποίηση Αποδείξεων->Παραμετρικά πεδία αποδείξεων]