almost reachable eq view rtrancl proof