Table 10. Simplified version of the theorem concerning the degradation path of TP53.
Theorem |
TP53&MDM2& U& P ⊢ d(TP53) |
Demonstration |
1. MDM2 & TP53 → MDM2*TP53 |
2. (MDM2 *TP53) & U → (MDM2*TP53) *U |
3. (MDM2*TP53) *U → MDM2 & (TP53*U) |
4. (TP53*U) & P → (TP53*U) *P |
5. (TP53*U) *P → d(TP53) & U & P |