ビジービーバー関数の全域性は1階述語論理で記述できる以上恒真であれば証明できる