オイラーの公式から出す奴はトートロジーって言われてたような...?