Petunjuk R.73.1.

Dari pemisahan, buat fungsi indikator; dari fungsi, ambil pracitra kedua singleton.
in-context