The varible of is between and , then .
Always;
Starting with numbers between and and subtracting will produce numbers between and .
These all have an absolute value less than or equal to .
Always true.