في غُرَفِ الجَنَّةِ العُلْيا التي وَجَبَتْ ... لَهم هُناكَ بِسَعْيٍ "كان" مَشكورِ

(واعلم أن "كان" الزائدة معناها التأكيد، وهي تدل على الزمان الماضي. وليس المراد من تسميتها بالزائدة انها لا تدل على معنى ولا زمان، بل المراد انها لا تعمل شيئًا، ولا تكون حاملة للضمير، بل تكون بلفظ المفرد المذكر في جميع أَحوالها. ويرى سيبويه أنها قد يلحقها الضمير، مستدلًا بقول الفرزدق) [من الوافر]

فكيف إذا مررت بدار قوم ... وجيران لنا (كانوا) كرام

(٢) أنها تُحذَفُ هي واسمها ويبقى خبرُها، وكثرَ ذلك بعدَ "أنْ ولو" الشرطيَّتينِ. فمثالُ "إنْ" "سِرْ مُسرعًا، إن راكبًا، وإن ماشيًا"، وقولهم "الناسُ مَجزِيُّونَ بأعمالهم، إنْ خيرًا فخيرٌ، وإن شرًّا فَشرٌّ"، وقولُ الشاعر [من الكامل]

لا تَقْرَبَنَّ الدَّهرَ آلَ مُطَرِّفٍ ... إنْ ظالمًا أَبدًا، وإِنْ مَظْلوما

وقولُ الآخر [من الكامل]

حَدَبَتْ عَلَيَّ بُطونُ ضَبَّةَ كُلُّها ... إنْ ظالمًا فيهم، وإنْ مَظلومًا