Quiz (1 point)
Given that:
    
    
instruction #24 is 
    
    store src=3 addr=1 imm=0the PC at time 24 = 24
    
    Prove that:
the PC at time 25 = 25
The following properties may be helpful:
    - 24 + 1 = 25
- if the following are true: - instruction #x is store src=s addr=d imm=imm
- the PC at time t = x
 - then the PC at time (t + 1) = x + 1 
- instruction #x is 
- if 24 + 1 = 25, then the PC at time (24 + 1) = the PC at time 25 
- 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.