4=2×2，
所以4和5的最小公倍数是：2×2×5=20；
即他俩再过20日就能都到图书馆，1+20=21，
答：那么他们下一次同时到图书馆是7月21日．