vatali定理