Solution of a question (5080).

From MaRDI portal
Publication:1556554