An independent consumer group published its finding that the lifetimes of electric bulbs manufactured by BIG corporation are approximately normally distributed with a mean of 630 days and a standard deviation of 123.5 BIG corporation claims that the standard deviation of its electric to carry out a hypothesis test to see BIG corporation's claim is correct. Stat the null hypothesis H0 and the alternative hypothesis H1 that we would use for this test. H0 = H1=