Let us prove it