Equivalent theorem