Theorem: s_2(1, 1) - 3 = 0 (Schur s_2 evaluated at unit point)

Theorem (Schur-s_2 canonical): the Schur function s_lambda for lambda = (2) (single-row partition) in 2 variables is s_(2)(x, y) = x^2 + xy + y^2 = h_2 (complete homogeneous symmetric of degree 2). At x = y = 1: s_2(1, 1) = 1 + 1 + 1 = 3.…