I.P38 — Classical.em Eliminability

Both uses of Classical.em in TauLib (Coordinates/Primes.lean lines 110, 172) are applied to decidable predicates (divisibility of natural numbers) and can be replaced by decidable case analysis without changing any theorem statement.