>11
微分小=>微分商