Más específicamente el principio se puede formular como: