As follows from