Short trick to divide any number by five