arteriosclerosis obliterans: a stage of arteriosclerosis involving closure of blood vessels
proof: a formal series of statements showing that if one thing is true something else necessarily follows from it