Có trước vị ngữ
Điều đã biết thì không cần định nghĩa
$XAUT $XAU $XAUT