An existence theorem for inclusions of the type and application to a multivalued boundary value problem