دليل شيعه در ذكر حي علي خيرالعمل در اذان چيست؟

مسلمانان در اینکه بعد از حيّ علي الفلاح، دو بار «حيّ علي خير العمل» گفته شود، اختلاف دارند. اهل سنت قائل به عدم جواز آن در اذان و اقامهاند. برخي نيز آن را مكروه ميدانند؛ ولي اهل بيت علیهالسلام و شيعيانشان، اين قسمت را جزء اذان و اقامه ميدانند به نحوی که بدون آن، اذان باطل است. از آنجا كه اذان و اقامه از موضوعاتي است كه مسلمين روزي چندين بار با آن سر و كار دارند، این مسئله شايسته بررسي است.
اذان پیامبرصلی علیه وآله وسلم و حضرت امیر علیه السلام

آیا پیامبر اکرم(ص) و حضرت علی(ع) در اذان و اقامه شان ذکر اشهد ان محمد رسول الله و اشهد ان علیا ولی الله را می گفتند؟