GRE 连接的area0 的路由器是真ABR吗

不一定。一个路由器要成为真正的ABR，需要满足两个条件：

1. 连接至少两个不同的区域（area）。

2. 在其连接的两个区域之间转发流量时，需要进行区域之间的路由选择。

如果一个路由器只连接一个区域，那么它就不是ABR；如果它连接多个区域但没有进行区域之间的路由选择，那么它也不是真正的ABR，而可能是一个虚ABR。因此，需要根据路由器的实际情况来确定它是否真正满足ABR的条件。