- это известный факт, который в силу его однозначной связи с неизвестным фактом даёт возможность сделать лишь один вывод о неизвестном факте - о наличии его или отсутствии.
