>>808
その逆は成立する