Halliday & Matthiessen (2014: 97):
In a declarative clause, the typical pattern is one in which Theme is conflated with Subject; … We shall refer to the mapping of Theme on to Subject as the unmarked Theme of a declarative clause. The Subject is the element that is chosen as Theme unless there is good reason for choosing something else.