Combinatorial proof of a congruence for partitions into two sizes of part | Synapse