[throw_pm23]

Note that there were already hundreds of old fashioned proofs, the challenge was exactly to find a new one with the "high powered" methods without circularly referring to the PT, which these two kids achieved.