極大性より、その定義域がformula_1全体になっていることがわかる。