An existence theorem of the Leray-Schauder type for four-point boundary value problems