Regularity is box product-closed

Statement
An arbitrary product of regular spaces, endowed with the box topology, is again a regular space.