preliminary proof