Removing Bishop from Bishop--Diaconescu theorem, see #161

Bishop stated this only as an exercise, as is already explained
in section notes.