Add draft version for proof of compactness theorem for FOL using Skolemization