Petunjuk J.80.1.

Ambil sembarang \(a\in A\) dan gunakan dikotomi: \(a\) terasing atau tidak terasing.
in-context