>>531
したがらすの定理だね!