Proof of Gödel's disjunction property (by disjoint union)