Lectures on foundations of geometry by Pogorelov