数学がせんずりであることが真ならば。
kingはせんずりであることも真。