theorem :: XPRIMES2:5512

canceled;