Suppose Beethoven's Symphony No. 9, also known as the Choral Symphony, was composed in 1824 and is one of the best-known works of the Western classical repertoire.
Can we infer that "Beethoven's Symphony No. 9 was his first symphony."? Yes, no, or maybe?