small proof

Showing the single result