Solution of a question (1160).

From MaRDI portal
Publication:1558703