Storjohann - Square triangular matrices complete.