derived fact

Вивідний факт (тобто виведений з інших)