The assumption to start an indirect proof is .