theorem :: XPRIMES2:7777

canceled;