let is_divisore y x = x mod y = 0

let compito p s =
    let rec aux p_restanti s =
        match (p_restanti,s) with
            ([],_) -> true
        | (x::restx,y::resty) -> is_divisore y x && aux restx s

    in aux p s