微細構造定数は式を計算して一致を見ればいいから、正否はすぐわかるはずだけどなあ