completed basis proof for p not 2