小刚课外书的本数是小亮的4/5,小亮给小刚4本,他们两人的书就同样多,小刚原有多少本书