>>514
(B)はどうやって証明する?