this fact can also be easily verified