i proct , k>