By using a "witness erasing technique" proposed by Okamoto and Tanaka
(Research Report C-150), we prove that AM is contained in QMA.  (In
this report, we only give the proof of our main result.  The other
explanation will be given in a full paper.)