Sketch the test for BN_kronecker.
Also add the next file in advance so that I can't forget this one :-)