Proof: Do Convert Stmt 59

Let's prove the following theorem:

if statement at line 7, tab 2 = return self.age * 12, then statement at line 7, tab 2 = return __mul__(self.age, 12)

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 statement at line 7, tab 2 = return self.age * 12
Proof Table
# Claim Reason
1 expression self.age * 12 = __mul__(self.age, 12) expression self.age * 12 = __mul__(self.age, 12)
2 return self.age * 12 = return __mul__(self.age, 12) if expression self.age * 12 = __mul__(self.age, 12), then return self.age * 12 = return __mul__(self.age, 12)
3 return __mul__(self.age, 12) = return __mul__(self.age, 12) return __mul__(self.age, 12) = return __mul__(self.age, 12)
4 statement at line 7, tab 2 = return __mul__(self.age, 12) if statement at line 7, tab 2 = return self.age * 12 and return self.age * 12 = return __mul__(self.age, 12), then statement at line 7, tab 2 = return __mul__(self.age, 12)

Comments

Please log in to add comments