Kは比例で復活だったっけ?