>>694
cに因数prが存在した場合、その個数以上tは因数prを含んでいます