reqproof-1-13