Solution of a question (5079).

From MaRDI portal
Publication:1556516