P-1も早くFAAの形式証明とらなくてはな