Ehuru mera än half bewisning förekommit,