proves 12