畢式定理（丞昀）