theorem :: XPRIMES2:5556

canceled;