>どこまで公式に証明されたことになっているのか知らない

論文じゃ許されないな