Thực tập sinh @TradingTerminal phát hiện ra rằng đó là định lý.