razoring works with different constants