( Triangle ((4 * 1) * (1 + 1)) is triangular & Triangle ((4 * 1) * (1 + 1)) is square ) by Th11, Th80, Th78;
hence ( 36 is triangular & 36 is square ) by Th18; :: thesis: verum