1. Emmanuel Hallouin and Christian Maire, Cancellation in totally definite quaternion algebras, J. Reine Angew. Math. 595 (2006), 189–213.[MR]