Introduction to metrics by Zirmunskij