メタ変数による証明の後回しを紹介する

[Seasawher]

現状はshowのページで紹介しているが、本来は「メタ変数」という項目が独立して必要。

[Seasawher]

また、showのページではなくcalcのページで紹介するのが適当に思える。