proved infinite descreasing chain!