�@'⇒(�A⇒�@)は正しいけど、

�@'⇒�@だけでも正しいね