PROVES COMPLEMENTARIES