theorem :: XPRIMES1:53

53 is prime