theorem :: XPRIMES2:5590

canceled;