1 * i <= 1 % 1
