( 1 α 1 ) 0

α 1 1

( α 2 + α 1 2 ) 0

α 2 α 1 2

( α 1 2 α 2 ) 0

α 1 2 + α 2 0

α 1 2 + α 1 4 0

α 1 0