>>45
そんならAも既に満たされてるんでない?

> @については既に満たされていると考えられますが。