厳密じゃない証明って?