Thomasinas-last-theorem