1秒の定義が抜けてるので証明にはならない