すると''a'',''b'',''c''の核やに関連した完全列\\kera\\;\\kerb\\;\\kerc\\;\\overset\\operatornamea\\;\\operatornameb\\;\\operatornamecが存在する.
核