関数"f" は、prfの"c" 回のxor(^)の繰り返しである。