 Our result is achieved by an application of the LLL algorithm Lenstra, Lenstra and Lov\'asz, Math.
<clarity>  Our result is achieved by an application of the LLL algorithm Lenstra, Lenstra and Lov\'asz, Math.
 Our result is achieved Lenstra, Lenstra and Lov\'asz, Math.