סימן כה סעיף ה
יֵשׁ לְהַדֵּר לְאָמְרָהּ עִם הַצִּבּוּר. וְלָכֵן אִם בָּא לְבֵית הַכְּנֶסֶת בְּשָׁעָה שֶׁהַצִּבּוּר אוֹמְרִים אוֹתָהּ יֹאמְרָהּ עִמָּהֶם אַף קֹדֶם תְּפִלָּתוֹ. וְהוּא הַדִּין דְּיָכוֹל לְאָמְרָהּ קֹדֶם שְׁנֵי הַפְּסוּקִים דְּהַיְנוּ וּבָא לְצִיּוֹן וְגוֹ' וַאֲנִי זֹאת בְּרִיתִי וְגוֹ', וְאַחַר כָּךְ יֹאמַר פְּסוּקִים אֵלוּ, וּמִכָּל שֶכֵּן שֶׁיָכוֹל לְדַלֵּג אַֹשְׁרֵי וְלַמְנַצֵּחַ, כְּדֵי שֶׁיֹּאמַר קְדֻשָּׁה זוֹ עִם הַצִּבּוּר, וְאַחַר כָּךְ יֹאמַר מַה שֶּׁדִּלֵּג.
You should glorify this [Kedushah] by saying it together with the congregation; and therefore, if you arrive at the synagogue when the congregation is reciting it, you should say it with them even before you say your prayers. You may recite this [Kedushah] even before saying the two verses [preceding it] that is, Uva letziyon … and Va'ani zos berisi … and after [you conclude the Kedushah], you say these two verses; and certainly you may skip Ashrei and Lamenatzei'ach in order to say this Kedushah together with the congregation, and afterwards say what you have skipped.
תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)