In OSPF, when redistributing static routes, the subnets keyword is required to ensure that OSPF
redistributes all subnets, including those with subnet masks (e.g., /24). Without the subnets
keyword, OSPF will only redistribute classful networks, which may exclude subnets like
10.100.13.0/24.
To resolve the issue, update the OSPF configuration on R1 to include the subnets keyword:
router ospf 1
redistribute static subnets
This ensures that the static route for 10.100.13.0/24 is correctly redistributed into OSPF and
propagated to R2.