Solution of a question (4772).

From MaRDI portal
Publication:1556512