twenty file single.php

i found this code <?php if ( have_posts() ): while ( have_posts() ): the_post(); ?>using in the default theme single.php? it’s a redundant!because in the single.php,it’s only one post, it’s useless to use the while loop.am i right? why not delete it?