Detta är en formel , som tillräckligtförklarar