Statement: the last record for both the highest totalling name and the lowest totalling name were recorded in the month of september

Input Table: list of sumo record holders

Step 1: Order the table by the 'total' column in ascending order.
name total first last highest_rank
kotonishiki 34 1990-09-01 1999-09-01 sekiwake
kaiō 32 1994-05-01 2000-07-01 ōzeki
musōyama 31 1994-03-01 2000-09-01 ōzeki
hasegawa 30 1965-11-01 1974-09-01 sekiwake
kotomitsuki 30 2001-01-01 2007-07-01 ōzeki
akinoshima 27 1988-11-01 2000-09-01 sekiwake
takamiyama 27 1969-11-01 1982-09-01 sekiwake
takatōriki 26 1991-05-01 2000-05-01 sekiwake
wakanosato 26 2000-11-01 2005-09-01 sekiwake
daikirin 22 1966-11-01 1970-09-01 ōzeki
tochiazuma ii 22 1997-07-01 2005-01-01 ōzeki
kisenosato 22 2006-07-01 2011-09-01 ōzeki
Step 2: Select the row number 1.
name total first last highest_rank
daikirin 22 1966-11-01 1970-09-01 ōzeki
tochiazuma ii 22 1997-07-01 2005-01-01 ōzeki
kisenosato 22 2006-07-01 2011-09-01 ōzeki
takatōriki 26 1991-05-01 2000-05-01 sekiwake
wakanosato 26 2000-11-01 2005-09-01 sekiwake
akinoshima 27 1988-11-01 2000-09-01 sekiwake
takamiyama 27 1969-11-01 1982-09-01 sekiwake
hasegawa 30 1965-11-01 1974-09-01 sekiwake
kotomitsuki 30 2001-01-01 2007-07-01 ōzeki
musōyama 31 1994-03-01 2000-09-01 ōzeki
kaiō 32 1994-05-01 2000-07-01 ōzeki
kotonishiki 34 1990-09-01 1999-09-01 sekiwake
Step 3: Select rows where the 'last' column is in the month of September.
name total first last highest_rank
daikirin 22 1966-11-01 1970-09-01 ōzeki
Step 4: Select rows where the 'highest_rank' column is 'sekiwake'.
name total first last highest_rank
daikirin 22 1966-11-01 1970-09-01 ōzeki
Step 5: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
name total first last highest_rank
verification_result
FALSE