theorem :: XPRIMES1:547

547 is prime