Skip to main content
. 2010 Mar 3;5(3):e9511. doi: 10.1371/journal.pone.0009511

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