fab⇔km⇔calを変換する式が予想される
いずれは宇宙のはじまりもfabで記述できるはず