Some more proofs. Still missing proof that BPST instanton is self-dual.