"r" ＝ ℍ,四元数の可除環であれば、対角部分環はsの環に同型であり、1873にによって示されている。