take {} A ; :: thesis: {} A is strongly_connected
thus {} A is strongly_connected ; :: thesis: verum