Add proof of наслідок