[Program23]

Короче, преподователь сказал, что статический полиморфизм реализуется в неявном виде в строчке: using namespace std.
Типо под одним именем std можно использовать cout, cin и т.д.