for a, b being Integer st 0 < b & a divides b holds
a <= b