(Triangle n) + (Triangle (n + 1)) = (n + 1) ^2 by Th55;
hence (Triangle n) + (Triangle (n + 1)) is square ; :: thesis: verum