解析ってさ、どうやって証明されるもんなの?