  We give two applications of Arthur's multiplicity formula to Siegel modular
forms. The one is a lifting theorem for vector valued Siegel modular forms,
which contains Miyawaki's conjectures and Ibukiyama's conjectures. The other is
the strong multiplicity one theorem for Siegel modular forms of scalar weights
and level one.
