Есть несколько непоняток по коду:

template <typename T> class A
{
public:
    template <int j> class B: public A{};
};

typedef A<int>::B<1> ::B<2> ::B<3> C;

1. Почему B может наследоваться от enclosing класса A?

2. Что такое в вышепреведенном тайпдефе C? A::B<3>?

Заранее спасибо.