Here one needs to provide a proof that confirms

$\{$

$$

$$

$$

$$

$\}$

$|$

$-$

$-$

$$

$$

$$

$$

$|$

$.$

$$Once such a proof is found, we have a demonstration showing that the order of disjuncts is immaterial in logical entailment, for clearly the number of disjuncts could be expanded arbitrarily; so we declare that once this proof works, it's mere tedium to handle

$$

$1$

$$

$$

$$

$2$

vvdotsvv

$$

$$

$,$

$$for any kinN. If your proof is to win a trophy, plus the

$1$

$0$

$$points at stake here, no use of an oracle can remain within it

$.$