@nm 

Thank you so much! Your solution has made it possible for me to verify my bigger problem! Thanks again

@Joe Riel 

Thank you so much, the only two questions I have is, what's "(lhs-rhs)" in the LagrangeMultiplier? And what's the last result, the long string?

@Carl Love Okay, what should I then do, if I can't use that package?