It's not even hard to verify