詳しい証明がないのがよくないという話ではなかったか?