`text(Đoạn cuối không rút gọn vì;)`
`|ab| = ab `
`|ab| = -ab`
`|ab| = a . (-b)`
`text(Đấy ta thấy nó có thể chia ra nhiều trường hợp với a , b khác nhau)`
`text(Mà ở đây tử số là ab và chỉ thuộc 1 trong số trường hợp của |ab|)`
`text(Nên ở đoạn cuối ta chỉ làm như vậy và không rút gọn)`