Verify the decomposition above for A = {{ 1, 4 }, {2, 5 }}