Bài viết này chứng minh nếu G là một nhóm luỹ linh hữu hạn, F là một trường pythagore, F chỉ thừa nhận thứ tự archimedes và mọi đại số chia quaternion A trên F đẳng cấu với đại số quaternion thông thường AF = (−1,−1)F thì mọi nhóm con gần á chuẩn tắc trong nhóm nhân (FG)* của đại số nhóm FG là chuẩn tắc trong (FG)*. Mời các bạn cùng tham khảo!