(...) θεώρημα means something whose investigation is to be carried out in negotiations. (GA18)