Solution of a question (5294).

From MaRDI portal
Publication:1554977