master as of 11-Jul-2014
lagrange four-square thm