In most cases, theorems relating the three paradigms (often equivalence) have been proven.[7]"