k>0とかの条件ない?