Let A be nonempty.

• 设 A 是非空的。