Если единственная функция R4 это предоставление доступа к сети Интернет для R3, то зачем ему вообще становится участником OSPF процесса.
В OSPF домене у вас появится ASBR, который объявит LSA type 5 для default route, который вы хотите фильтровать на R1 и R2.
Если вы сделаете non-backbone area и поместите туда R4, то нечего не поменяется, только у вас появится ещё и LSA type 4, который будет объявлять ABR.
У вас тот случай, когда нужно либо полностью пересмотреть архитектуру, добавив туннели до R4, чтобы использование OSPF стало обоснованным или оставить R4 вне OSPF процесса.