[Dmitry A. Soshnikov]

до тех пор, пока вы не переопределите свойство prototype объекта-конструктора, это просто пустой объект типа constr

это просто объект, как, если бы: new Object(), просто свойство constructor этого нового объекта будет ссылаться на конструктор (constr).

a.__proto__.constructor==a.constructor//у прототипа и у объекта общий конструктор

Точнее, не общий конструктор, а один и тот же конструктор, поскольку объект "а" не имеет родного свойства constructor, и оно будет найдено в прототипе (т.е. уже здесь начинается наследование)