См. единств. рец. на произв. по математике гл.3 Параграф 2 (возможность построения треугольника из трёх данных отрезков), являющуюся частным случаем следующего:
Из существования того, что чьё-то суждение принадлежит такому-то кругу суждений следует, что существует третье сужденье, вытекающее из первого суждения, которое в данном случае и можно применить; зачастую это дополнения первого суждения в круге суждений.