محمد و محمود لم _____إالمكتبة.

يجيئا 為雙數切格（مجزوم）形式。主詞為雙數，且前方有否定詞「لم」，要求後接現在式動詞並去掉字尾的「ن」，完全符合語法。