Solution of a question (5242).

From MaRDI portal
Publication:1554976