finished basis proof