kuster , bar k : a^pa>