provedFrom
P178232
predicate
Indicates that one statement, theorem, or conclusion is logically derived and demonstrated to be true based on another statement or set of premises.