Suppose Beethoven's Symphony No. 9 is one of his most famous compositions, featuring the "Ode to Joy" melody. It is often considered one of the greatest musical works ever composed.
Can we infer that "Beethoven's Symphony No. 9 was his first symphony."?