added label with theory on MainForm