try another way to prove reducibility_isrc