proof of Fisher's inequality