Quiz (1 point)
Given that:
    
    
instruction #4 is 
    
    addi dst=4 src=4 imm=1the PC at time 12 = 4
    
    Prove that:
the PC at time 13 = 5
The following properties may be helpful:
    - 12 + 1 = 13
- 4 + 1 = 5
- if the following are true: - instruction #x is addi dst=s src=d imm=imm
- the PC at time t = x
 - then the PC at time (t + 1) = x + 1 
- instruction #x is 
- if 12 + 1 = 13, then the PC at time (12 + 1) = the PC at time 13 
- if the following are true: - a = b
- a = c
- b = d
 - then c = d 
Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.