>>69
それは、必要十分条件でR⇔Sだと考えますけど