one more proof for first level