You will know that you have corrected the fault when R4’s loopback address (FEC0:4:4) can ping from R1 to R4 loopback address.
You should then configure route summarization only to the distant office router R3 to complete the task…