reqproof-1-7