A recent report claimed that 13% of students typically walk to school. DeAnna thinks that the proportion is higher than 0.13 at her large elementary school. She surveys a random sample of 100 students and finds that 17 typically walk to school. DeAnna would like to carry out a test at the α=0.05 significance level of H₀: p = 0.13 versus H_a: p > 0.13, where p = the true proportion of all students at her elementary school who typically walk to school. Check if the conditions for performing the significance test are met.