AAA theorem