Description: The star division ring for the final constructed Hilbert space is a division ring. (Contributed by NM, 21-Jun-2015)