theorem :: XPRIMES2:8907

canceled;