(1 * 4) + 1 = 5 ;
hence not 5 / 4 is integer by Th33; :: thesis: verum