Can you prove something as simple as ABC?

From MaRDI portal
Publication:6580348